1. Graph-Based Proof Procedures for Horn Clauses
Author: \ Stan Raatz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming,Horn clauses,برنامهنویسی منطقی
Classification :
E-Book
,
2. Graph-based proof procedures for horn clauses
Author: Stan Raatz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gráfelmélet,Horn-klóz,Logikai programozás
Classification :
QA76
.
63
S736
1990
